<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="Author" content="<username>"> <meta name="GENERATOR" content="urg/version [en] (platform name) [urg]">
<title>Unified Coverage Report :: Module :: assert_outputs</title>
<link type="text/css" rel="stylesheet" href="css/.urg.css">
<link type="text/css" rel="stylesheet" href="css/.layout.css">
<link type="text/css" rel="stylesheet" href="css/.breadcrumb.css">
<script type="text/javascript" src="js/.jquery.js"></script>
<script type="text/javascript" src="js/.jquery-ui.js"></script>
<script type="text/javascript" src="js/.sortable.js"></script>
<script type="text/javascript" src="js/.layout.js"></script>
<script type="text/javascript" src="js/.breadcrumb.js"></script>
<script type="text/javascript">
var layout, westLayout, centerLayout;
$(document).ready(function () {
  if ($("#north-bread-crumb")) {
    $("#north-bread-crumb").jBreadCrumb({easing:'swing'})
  }
  layout = $("body").layout({ 
    resizable: true,
    spacing_open: 4,
    spacing_closed: 4,
    north: {
      size: 76
    },
    south: {
      size: 45,
      initClosed: true
    },
    west: {
      size: 500,
      resizable: true,
      initClosed: false
    }
  });
  centerLayout = $('div.ui-layout-center').layout({
    north__paneSelector: ".ui-layout-center-inner-north",
    center__paneSelector: ".ui-layout-center-inner-center", 
    north__size: 50,
    spacing_open: 4,
    spacing_closed: 4
  });
});
</script>
</head>
<body onLoad="initPage();"><div class="ui-layout-north">
<div class="logo"></div>
<center class="pagetitle">Module Definition</center>
<div align="center"><a href="dashboard.html" ><b>dashboard</b></a> | <a href="hierarchy.html" ><b>hierarchy</b></a> | <a href="modlist.html" ><b>modlist</b></a> | <a href="groups.html" ><b>groups</b></a> | <a href="tests.html" ><b>tests</b></a> | <a href="asserts.html" ><b>asserts</b></a></div>

</div>
<div class="ui-layout-west">
<div name='tag_assert_outputs'>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module : <a href="#"  onclick="showContent('tag_assert_outputs')">assert_outputs</a></span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#Assert" > 71.43</a></td>
</tr></table><br clear=all>
<span class=repname>Source File(s) : </span>
<br clear=all>
<a href="javascript:void(0);"  onclick="openSrcFile('/evprj153/projects/DuyQuang_DV1/Labs/ces_sva_2019.06/labs/lab3/./assert.sva')">/evprj153/projects/DuyQuang_DV1/Labs/ces_sva_2019.06/labs/lab3/./assert.sva</a><br clear=all>
<br clear=all>
<span class=repname>Module self-instances :</span>
<br clear=all>
<table align=left class="sortable">
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_19"  onclick="showContent('inst_tag_19')">router_test_top.dut.a_oport0</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_19_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_20"  onclick="showContent('inst_tag_20')">router_test_top.dut.a_oport1</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_20_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_21"  onclick="showContent('inst_tag_21')">router_test_top.dut.a_oport2</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_21_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_22"  onclick="showContent('inst_tag_22')">router_test_top.dut.a_oport3</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_22_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_23"  onclick="showContent('inst_tag_23')">router_test_top.dut.a_oport4</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_23_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_24"  onclick="showContent('inst_tag_24')">router_test_top.dut.a_oport5</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_24_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_25"  onclick="showContent('inst_tag_25')">router_test_top.dut.a_oport6</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_25_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_26"  onclick="showContent('inst_tag_26')">router_test_top.dut.a_oport7</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_26_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_27"  onclick="showContent('inst_tag_27')">router_test_top.dut.a_oport8</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_27_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_28"  onclick="showContent('inst_tag_28')">router_test_top.dut.a_oport9</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_28_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_29"  onclick="showContent('inst_tag_29')">router_test_top.dut.a_oport10</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_29_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_30"  onclick="showContent('inst_tag_30')">router_test_top.dut.a_oport11</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_30_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_31"  onclick="showContent('inst_tag_31')">router_test_top.dut.a_oport12</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_31_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_32"  onclick="showContent('inst_tag_32')">router_test_top.dut.a_oport13</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_32_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_33"  onclick="showContent('inst_tag_33')">router_test_top.dut.a_oport14</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_33_Assert" > 71.43</a></td>
</tr><tr>
<td class="wht cl wordwrap"><a href="mod4.html#inst_tag_34"  onclick="showContent('inst_tag_34')">router_test_top.dut.a_oport15</a></td>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_34_Assert" > 71.43</a></td>
</tr></table></div>
</div>
<br clear=all>
<div name='inst_tag_19'>
<hr>
<a name="inst_tag_19"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_19" >router_test_top.dut.a_oport0</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_19_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_20'>
<hr>
<a name="inst_tag_20"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_20" >router_test_top.dut.a_oport1</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_20_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_21'>
<hr>
<a name="inst_tag_21"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_21" >router_test_top.dut.a_oport2</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_21_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_22'>
<hr>
<a name="inst_tag_22"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_22" >router_test_top.dut.a_oport3</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_22_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_23'>
<hr>
<a name="inst_tag_23"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_23" >router_test_top.dut.a_oport4</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_23_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_24'>
<hr>
<a name="inst_tag_24"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_24" >router_test_top.dut.a_oport5</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_24_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_25'>
<hr>
<a name="inst_tag_25"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_25" >router_test_top.dut.a_oport6</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_25_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_26'>
<hr>
<a name="inst_tag_26"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_26" >router_test_top.dut.a_oport7</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_26_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_27'>
<hr>
<a name="inst_tag_27"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_27" >router_test_top.dut.a_oport8</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_27_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_28'>
<hr>
<a name="inst_tag_28"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_28" >router_test_top.dut.a_oport9</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_28_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_29'>
<hr>
<a name="inst_tag_29"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_29" >router_test_top.dut.a_oport10</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_29_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_30'>
<hr>
<a name="inst_tag_30"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_30" >router_test_top.dut.a_oport11</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_30_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_31'>
<hr>
<a name="inst_tag_31"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_31" >router_test_top.dut.a_oport12</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_31_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_32'>
<hr>
<a name="inst_tag_32"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_32" >router_test_top.dut.a_oport13</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_32_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_33'>
<hr>
<a name="inst_tag_33"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_33" >router_test_top.dut.a_oport14</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_33_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
<div name='inst_tag_34'>
<hr>
<a name="inst_tag_34"></a>
<div class=modhdr>
<br clear=all>
<span class=titlename>Module Instance : <a href="hierarchy.html#tag_urg_inst_34" >router_test_top.dut.a_oport15</a></span>
<br clear=all>
<br clear=all>
<span class=repname>Instance :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"><a href="mod4.html#inst_tag_34_Assert" > 71.43</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Instance's subtree :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td></tr><tr>
<td class="s7 cl rt"> 71.43</td>
<td class="s7 cl rt"> 71.43</td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Parent : </span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td>SCORE</td><td>ASSERT</td><td class="alfsrt">NAME</td></tr><tr>
<td class="wht cl rt"></td>
<td class="wht cl rt"></td>
<td><a href="mod1.html#inst_tag_1" >dut</a></td>
</tr></table><br clear=all>
<br clear=all>
<span class=repname>Subtrees :</span>
<br clear=all>
<table align=left>
<tr class="sortablehead">
<td class="alfsrt">NAME</td><td>SCORE</td><td>ASSERT</td></tr><tr>
<td colspan=3>no children</td>
</tr></table><br clear=all>
</div>
</div>
</div>
<div class="ui-layout-center">
<div class="ui-layout-center-inner-center">
<div name='tag_assert_outputs'>
<a name="Assert"></a>
Assert Coverage for Module : <a href="mod4.html" >assert_outputs</a><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#777120342" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#520839381" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#237101648" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="777120342"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="44551828"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">110000</td>
<td class="s9 cl rt">200</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="572483123"></a>
dout_unknown_check</td>
<td class="s9 cl rt">110000</td>
<td class="s9 cl rt">4648</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="520839381"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1417616292"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">110000</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1672352837"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">110000</td>
<td class="s9 cl rt">81</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1927089382"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">110000</td>
<td class="s9 cl rt">57</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="2113141369"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">110000</td>
<td class="s9 cl rt">62</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1858404824"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">110000</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_19'>
<a name="inst_tag_19_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_19" >router_test_top.dut.a_oport0</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#683741386" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#1353059147" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#728208976" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="683741386"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="546934516"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">15</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1631329197"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">336</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="1353059147"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="215279292"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="339352539"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">7</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="463425786"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="587499033"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="711572280"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_20'>
<a name="inst_tag_20_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_20" >router_test_top.dut.a_oport1</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#938477931" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#1098322602" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#982945521" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="938477931"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="292197971"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">16</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1886065742"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">336</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="1098322602"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="39457253"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="84615994"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">10</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="208689241"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">2</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="332762488"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="456835735"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_21'>
<a name="inst_tag_21_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_21" >router_test_top.dut.a_oport2</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1193214476" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#843586057" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#1237682066" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1193214476"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="37461426"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">15</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="2140802287"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">368</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="843586057"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="294193798"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="170120551"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">5</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="46047304"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="78025943"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">6</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="202099190"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_22'>
<a name="inst_tag_22_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_22" >router_test_top.dut.a_oport3</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1447951021" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#588849512" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#1492418611" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1447951021"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="217275119"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">10</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1899428464"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">240</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="588849512"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="548930343"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="424857096"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="300783849"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="176710602"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="52637355"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_23'>
<a name="inst_tag_23_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_23" >router_test_top.dut.a_oport4</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1702687566" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#334112967" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#1747155156" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1702687566"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="472011664"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">7</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1644691919"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">184</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="334112967"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="803666888"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="679593641"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">2</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="555520394"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">1</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="431447147"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="307373900"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_24'>
<a name="inst_tag_24_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_24" >router_test_top.dut.a_oport5</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1957424111" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#79376422" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#2001891701" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1957424111"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="726748209"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">14</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1389955374"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">304</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="79376422"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1058403433"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="934330186"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">7</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="810256939"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="686183692"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="562110445"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_25'>
<a name="inst_tag_25_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_25" >router_test_top.dut.a_oport6</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#2082806640" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#175360123" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#2038339050" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="2082806640"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="981484754"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">15</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1135218829"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">360</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="175360123"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1313139978"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1189066731"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">6</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1064993484"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="940920237"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">6</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="816846990"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_26'>
<a name="inst_tag_26_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_26" >router_test_top.dut.a_oport7</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1828070095" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#430096668" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#1783602505" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1828070095"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1236221299"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">12</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="880482284"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">280</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="430096668"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1567876523"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1443803276"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1319730029"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">5</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1195656782"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1071583535"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_27'>
<a name="inst_tag_27_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_27" >router_test_top.dut.a_oport8</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1573333550" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#684833213" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#1528865960" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1573333550"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1490957844"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">10</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="625745739"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">280</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="684833213"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1822613068"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1698539821"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">2</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1574466574"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">1</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1450393327"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">7</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1326320080"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_28'>
<a name="inst_tag_28_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_28" >router_test_top.dut.a_oport9</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1318597005" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#939569758" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#1274129415" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1318597005"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1745694389"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">10</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="371009194"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">272</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="939569758"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="2077349613"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1953276366"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">1</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1829203119"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1705129872"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">5</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1581056625"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_29'>
<a name="inst_tag_29_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_29" >router_test_top.dut.a_oport10</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1496944505" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#1514329874" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#1419527501" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1496944505"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="2000697207"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">14</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="807395574"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">304</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="1514329874"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="602892737"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="154196098"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">7</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="294500541"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="743197180"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1191893819"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_30'>
<a name="inst_tag_30_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_30" >router_test_top.dut.a_oport11</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#803842808" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#2087535725" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#2112629198" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="803842808"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1307595510"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">13</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="114293877"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">280</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="2087535725"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1295994434"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="847297795"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">7</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="398601156"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="50095483"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="498792122"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_31'>
<a name="inst_tag_31_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_31" >router_test_top.dut.a_oport12</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#110741111" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#1394434028" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#1489236401" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="110741111"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="614493813"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">16</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="578807820"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">368</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="1394434028"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1989096131"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1540399492"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">6</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1091702853"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">6</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="643006214"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="194309575"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_32'>
<a name="inst_tag_32_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_32" >router_test_top.dut.a_oport13</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#582360586" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#701332331" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#796134704" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="582360586"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="78607884"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">11</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1271909517"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">264</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="701332331"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1612769468"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="2061466107"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1784804550"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">5</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1336107911"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">3</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="887411272"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_33'>
<a name="inst_tag_33_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_33" >router_test_top.dut.a_oport14</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1275462283" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#8230634" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#103033007" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1275462283"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="771709581"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">8</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1965011214"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">176</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="8230634"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="919667771"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1368364410"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">4</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1817061049"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">2</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="2029209608"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">2</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1580512969"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
<div name='inst_tag_34'>
<a name="inst_tag_34_Assert"></a>
<b>Assert Coverage for Instance : <a href="mod4.html#inst_tag_34" >router_test_top.dut.a_oport15</a></b><br clear=all>
<table align=left class="noborder">
<tr>
<th nowrap width=120></th><th nowrap width=80>Total</th><th nowrap width=80>Attempted</th><th nowrap width=80>Percent</th><th nowrap width=80>Succeeded/Matched</th><th nowrap width=80>Percent</th></tr><tr>
<td class="wht cl"><a href="#1968563980" >Assertions</a></td>
<td class="wht cl rt">2</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
<td class="s10 cl rt">2</td>
<td class="s10 cl rt">100.00</td>
</tr><tr>
<td class="wht cl"><a href="#684871063" >Cover properties</a></td>
<td class="wht cl rt">5</td>
<td class="s10 cl rt">5</td>
<td class="s10 cl rt">100.00</td>
<td class="s6 cl rt">3</td>
<td class="s6 cl rt">60.00 </td>
</tr><tr>
<td class="wht cl"><a href="#590068690" >Cover sequences</a></td>
<td class="wht cl rt">0</td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
<td class="wht cl rt">0</td>
<td class="wht cl"></td>
</tr><tr>
<td class="wht cl"><b>Total</b></td>
<td class="wht cl rt">7</td>
<td class="s10 cl rt">7</td>
<td class="s10 cl rt">100.00</td>
<td class="s7 cl rt">5</td>
<td class="s7 cl rt">71.43 </td>
</tr></table><br clear=all>
<br clear=all>
<hr>
<br clear=all>
<a name="1968563980"></a>
<b>Assertion Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Real Successes</td><td>Failures</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="1464811278"></a>
a_vld_lo_data_aligned_rsng_frm</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">14</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1636854385"></a>
dout_unknown_check</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">296</td>
<td class="s9 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
<hr>
<br clear=all>
<a name="684871063"></a>
<b>Cover Directives for Properties: Details</b><br clear=all>
<br clear=all>
<table align=left class="sortable noborder">
<tr class="sortablehead">
<td class="alfsrt">Name</td><td>Attempts</td><td>Matches</td><td>Incomplete</td></tr><tr>
<td class="wht cl"><a name="226566074"></a>
cover_bytes[1].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="675262713"></a>
cover_bytes[2].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">7</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1123959352"></a>
cover_bytes[3].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">5</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="1572655991"></a>
cover_bytes[4].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s9 cl rt">2</td>
<td class="wht cl rt">0</td>
</tr><tr>
<td class="wht cl"><a name="2021352630"></a>
cover_bytes[5].unnamed$$_0</td>
<td class="s9 cl rt">6875</td>
<td class="s3 cl rt">0</td>
<td class="wht cl rt">0</td>
</tr></table><br clear=all>
</div>
</div>
<div class="ui-layout-center-inner-north">
<div id="center-bread-crumb" class="breadCrumb module urg-margin-bottom">
  <ul name="inst_tag_19">
    <li>
      <a href="#inst_tag_19_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_20">
    <li>
      <a href="#inst_tag_20_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_21">
    <li>
      <a href="#inst_tag_21_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_22">
    <li>
      <a href="#inst_tag_22_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_23">
    <li>
      <a href="#inst_tag_23_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_24">
    <li>
      <a href="#inst_tag_24_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_25">
    <li>
      <a href="#inst_tag_25_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_26">
    <li>
      <a href="#inst_tag_26_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_27">
    <li>
      <a href="#inst_tag_27_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_28">
    <li>
      <a href="#inst_tag_28_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_29">
    <li>
      <a href="#inst_tag_29_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_30">
    <li>
      <a href="#inst_tag_30_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_31">
    <li>
      <a href="#inst_tag_31_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_32">
    <li>
      <a href="#inst_tag_32_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_33">
    <li>
      <a href="#inst_tag_33_Assert">Assert</a>    </li>
  </ul>
  <ul name="inst_tag_34">
    <li>
      <a href="#inst_tag_34_Assert">Assert</a>    </li>
  </ul>
  <ul name="tag_assert_outputs">
    <li>
      <a href="#Assert">Assert</a>    </li>
  </ul>
</div>
</div>
</div>
<div class="ui-layout-south">
<table align=center><tr><td class="s0 cl">0%</td>
<td class="s1 cl">10%</td>
<td class="s2 cl">20%</td>
<td class="s3 cl">30%</td>
<td class="s4 cl">40%</td>
<td class="s5 cl">50%</td>
<td class="s6 cl">60%</td>
<td class="s7 cl">70%</td>
<td class="s8 cl">80%</td>
<td class="s9 cl">90%</td>
<td class="s10 cl">100%</td></tr></table></div>
</body>
</html>